$\vdash$  XM $\in$ $\mathbb{P}$'